分布式实时网络半实物仿真方法研究

介绍了基于分布式实时网络的复合寻的制导武器半实物仿真试验环境建立的基本方法,对其工作原理、主要设备和技术进行了分析。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

线性调频基带数字产生的关键技术研究

介绍超宽带线性调频信号基带的数字产生方法及其实现技术。首先对线性调频信号的两种主要数字产生方法进行了简要阐述和比较，然后根据波形存储直读法提出了一种超宽带线性调频信号产生方案，分析了基带数字产生的主要关键技术，并进行了系统实现和测试。测试结果表明本文所提出的方法是可行的。     

面向作战仿真的指控系统建模技术研究

重点研究指控系统的建模技术,建立了群指挥所、方面作战指挥所和平台指挥所三级指控系统的模型,并确立了三者之间的层次和控制的逻辑关系。从作战方案和战术响应两方面对指控系统进行"静态的"和"动态的"建模,实现了作战双方基于感知态势的闭环仿真。这些模型在海军某作战仿真系统中得到了应用,仿真实验表明该指控系统模型满足作战仿真系统的作战需求,能够提高作战仿真的真实性和合理性。     

电子战训练仿真系统开发方法研究

为了提高电子战训练仿真系统开发的效率和质量,参照建模与仿真领域和软件工程领域中的模型开发与运行过程模型,提出了一个基本开发过程,将基于高层体系结构HLA电子战训练仿真系统的开发划分为相互关联的9个阶段,规定了每个阶段的开发活动。展示了联邦成员软件自动生成工具KD-FedWizard在基于HLA电子战训练仿真系统分析、设计和实现中的应用。     

基于区间数的第4代战斗机空战效能评估

根据第4代战斗机所具有的典型特征,建立了第4代战斗机的空战效能评估指标体系。采用区间数特征向量法确定了效能评估指标体系中的各指标的权重,给出了定量指标和定性指标的规范化方法,提出了采用区间数形式的加权和关系进行效能指标聚合的方法。最后,通过实例验证了所建立的空战效能评估指标体系的合理,评估方法的有效、可行。     

皮秒脉冲泵浦的高功率超连续谱光源

实验研究利用皮秒脉冲泵浦光子晶体光纤产生高功率超连续谱输出,探讨制作高功率全光纤超连续谱光源的关键技术,分析不同结构皮秒脉冲光纤激光器泵浦光子晶体光纤产生超连续谱的优缺点.应用重复频率倍增技术降低激光器自身的非线性效应,得到性能参数合适的高功率皮秒脉冲光纤激光器;采用后处理技术将光子晶体光纤输入端扩芯后与双包层光纤进行...     

Rectangles algorithm for generating normal variates

We propose an algorithm for generating normal random variates that is based on the acceptance–rejection method and uses a piecewise majorizing function. The piecewise function has 2048 equal‐area pieces, 2046 of which are constant, and the two extreme pieces are curves that majorize the tails. The proposed algorithm has not only good performance from correlation induction perspective, but also works well from a speed perspective. It is faster than the inversion method by Odeh and Evans and most other methods. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011